Several nonmonotonic logic systems together with their algebraic semantics are discussed.NM-algebra is defined.An elegan......

本文提出了一个新的非单调序列线性方程组（SSLE）算法.在每次迭代过程中只需解三个具有相同系数矩阵的线性方程组,以替代解二次规划子......

本文研究求解非线性约束优化问题.利用非单调无罚函数方法,提出了一个新的序列二次规划算法.该算法在每次迭代过程中只需求解一个Q......